Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
871	Involutions on Zilber fields Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-05-27 20:32:45 Algebraic structures Model theory Field theory Mathematical structures Field of definition Field Algebraic geometry Structure Exponential field Abstract algebra Mathematics Algebra
872	Symposium on the Add to Reading List Source URL: www.corelab.ntua.gr Language: English - Date: 2012-02-22 16:06:00 Field theory Formal systems Real algebraic geometry Algebraic structures Model theory Real closed field Axiom Field Peano axioms Mathematics Abstract algebra Mathematical logic
873	SIMPLICIAL COMMUTATIVE RINGS, I AKHIL MATHEW Add to Reading List Source URL: people.fas.harvard.edu Language: English - Date: 2012-05-22 16:29:33 Mathematics Model category Simplicial set Cotangent complex Simplicial sphere Quillen adjunction Simplicial map Homological algebra Homology Abstract algebra Homotopy theory Topology
874	INTRODUCTION TO SYMMETRIC SPECTRA. LECTURE 1 Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2007-11-04 13:27:58 Mathematics Category theory Algebraic topology Simplicial set Nerve Spectrum Model category Homotopy category Functor Abstract algebra Homotopy theory Topology
875	Topology. Vol. IS. pp[removed]Pergamon Press Ltd[removed]Printed in Great Britain Add to Reading List Source URL: www.uio.no Language: English Algebraic topology Model category Spectrum Homotopy category Homotopy group Homotopy Adams spectral sequence Whitehead theorem Localization of a topological space Homotopy theory Topology Abstract algebra
876	A model of type theory in cubical sets Marc Bezem∗ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-28 11:00:41 Symbol Sheaf Algebra Orbifold Holomorphic functional calculus Topology Algebraic topology Abstract algebra
877	A PURELY ALGEBRAIC CHARACTERIZATION OF THE HYPERREAL NUMBERS VIERI BENCI AND MAURO DI NASSO Add to Reading List Source URL: www.dm.unipi.it Language: English - Date: 2008-01-09 05:07:00 Model theory Field theory Ring theory Non-standard analysis Universal algebra Ultraproduct Hyperreal number Real closed field Quotient ring Abstract algebra Mathematics Algebra
878	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
879	An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen Add to Reading List Source URL: kwarc.info Language: English - Date: 2011-08-04 12:26:08 Model theory Category theory Structure Interpretation Monoid Category Enriched category Symbol First-order logic Mathematics Abstract algebra Mathematical logic
880	Lax Logical Relations Gordon Plotkin1 , John Power1 , Donald Sannella1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Model theory Structure Parity of a permutation Interpretation Tensor product Orbifold Modal companion Abstract algebra Mathematics Algebra

UPDATE